91![SPARTA! Static Program Analysis for Reliable Trusted Apps http://types.cs.washington.edu/sparta/ VersionNovember 2014)
Contents SPARTA! Static Program Analysis for Reliable Trusted Apps http://types.cs.washington.edu/sparta/ VersionNovember 2014)
Contents](https://www.pdfsearch.io/img/c0d840cfa3d2dbf31b31a1cbe00eb029.jpg) | Add to Reading ListSource URL: types.cs.washington.eduLanguage: English - Date: 2014-11-14 19:27:33
|
---|
92![Draft Special PublicationSource Code Security Analysis Tool Functional Specification Version 1.0 Information Technology Laboratory (ITL), Software Draft Special PublicationSource Code Security Analysis Tool Functional Specification Version 1.0 Information Technology Laboratory (ITL), Software](https://www.pdfsearch.io/img/bfe1cdbfe7285e84648fecf5c9e85c65.jpg) | Add to Reading ListSource URL: samate.nist.govLanguage: English - Date: 2013-05-07 16:54:57
|
---|
93![Flexible and Practical Flow Analysis for Higher-Order Programming Languages by J. Michael Ashley Submitted to the faculty of the University Graduate School Flexible and Practical Flow Analysis for Higher-Order Programming Languages by J. Michael Ashley Submitted to the faculty of the University Graduate School](https://www.pdfsearch.io/img/e17da736680c80fed5299cf33f5ee094.jpg) | Add to Reading ListSource URL: repository.readscheme.orgLanguage: English - Date: 2010-10-22 08:04:39
|
---|
94![Software Metrics in Static Program Analysis Andreas Vogelsang1 , Ansgar Fehnker2 , Ralf Huuck2 , and Wolfgang Reif1 1 Lehrstuhl für Softwaretechnik und Programmiersprachen, Universität Augsburg Universtitätsstrasse 14 Software Metrics in Static Program Analysis Andreas Vogelsang1 , Ansgar Fehnker2 , Ralf Huuck2 , and Wolfgang Reif1 1 Lehrstuhl für Softwaretechnik und Programmiersprachen, Universität Augsburg Universtitätsstrasse 14](https://www.pdfsearch.io/img/7474766e649e700f926aed9a49e01afc.jpg) | Add to Reading ListSource URL: www.cse.unsw.edu.auLanguage: English - Date: 2011-08-18 01:13:31
|
---|
95![SSVAn Abstract Specification Language for Static Program Analysis Michael Vistein Frank Ortmeier Wolfgang Reif Lehrstuhl f¨ SSVAn Abstract Specification Language for Static Program Analysis Michael Vistein Frank Ortmeier Wolfgang Reif Lehrstuhl f¨](https://www.pdfsearch.io/img/4f4e584b478d04f2c49e76d145c22880.jpg) | Add to Reading ListSource URL: www.cse.unsw.edu.auLanguage: English - Date: 2011-08-18 01:13:32
|
---|
96![Embedded Systems Conference April 3-7, San Jose [ESC-447] Safety-Critical Design Techniques for Secure and Reliable Systems Robert B. K. Dewar AdaCore Embedded Systems Conference April 3-7, San Jose [ESC-447] Safety-Critical Design Techniques for Secure and Reliable Systems Robert B. K. Dewar AdaCore](https://www.pdfsearch.io/img/15210fa6eb73ec799629948440898b38.jpg) | Add to Reading ListSource URL: www.adacore.comLanguage: English - Date: 2011-12-15 14:00:58
|
---|
97![Automatic Bug Detection in Microcontroller Software by Static Program Analysis Ansgar Fehnker1 , Ralf Huuck1 , Bastian Schlich2 , and Michael Tapp1 2 Automatic Bug Detection in Microcontroller Software by Static Program Analysis Ansgar Fehnker1 , Ralf Huuck1 , Bastian Schlich2 , and Michael Tapp1 2](https://www.pdfsearch.io/img/9e39e7bde6697a2985c3907939fc5b22.jpg) | Add to Reading ListSource URL: www.cse.unsw.edu.auLanguage: English - Date: 2009-03-06 00:11:00
|
---|
98![User Manual
Frama-C User Manual Release NitrogenLoïc Correnson, Pascal Cuoq, Florent Kirchner, Virgile Prevosto, Armand Puccetti, Julien User Manual
Frama-C User Manual Release NitrogenLoïc Correnson, Pascal Cuoq, Florent Kirchner, Virgile Prevosto, Armand Puccetti, Julien](https://www.pdfsearch.io/img/093169047d25bcf542b78b42dc74ddce.jpg) | Add to Reading ListSource URL: frama-c.comLanguage: English - Date: 2013-09-24 04:53:52
|
---|
99![Blended Program Analysis for Improving Reliability of Real-world Applications Dr. Barbara G. Ryder J. Byron Maupin Professor of Engineering Virginia Tech Blended Program Analysis for Improving Reliability of Real-world Applications Dr. Barbara G. Ryder J. Byron Maupin Professor of Engineering Virginia Tech](https://www.pdfsearch.io/img/2bc0a2909bff83f6443af8232117185f.jpg) | Add to Reading ListSource URL: people.cs.vt.eduLanguage: English - Date: 2013-03-24 21:20:50
|
---|
100![SPARTA! Static Program Analysis for Reliable Trusted Apps http://types.cs.washington.edu/sparta/ VersionMay 2014)
Contents SPARTA! Static Program Analysis for Reliable Trusted Apps http://types.cs.washington.edu/sparta/ VersionMay 2014)
Contents](https://www.pdfsearch.io/img/3dac508d50c798fda97acd82f1b7b60d.jpg) | Add to Reading ListSource URL: types.cs.washington.eduLanguage: English - Date: 2014-05-05 13:14:35
|
---|